\sqrt{x} = y \Rightarrow y \times y = x